航天嵌入式软件数组越界缺陷特征研究

根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10项航天嵌入式软件数组越界缺陷特征,并提出对设计具体检测方法关键的若干启示.进一步基于这些特征和启示探讨了数组越界检测算法针对中断驱动型程序的改进方向.     

针对旋翼流场模拟的自适应网格算法

针对基于格心格式求解器的旋翼流场模拟,提出了相应的自适应笛卡尔网格的数据存储结构及自适应算法。给出了相应的单元处理策略,简化了对自适应笛卡尔网格的处理;对于频繁的自适应加密过程中产生的大量重复点,采用了高效的交替数字树算法(Alternating digital tree,ADT)予以删除;对于自适应疏化过程中产生的大量无用点,提出了标记-删除-移动(Mark,delete,move,MDM)算法予以快速地删除,减少了不必要的计算资源消耗。对CaradonnaTung旋翼在不同悬停状态下进行了模拟验证,对比了压力分布系数与桨尖涡位置。之后对HELISHAPE 7A旋翼在前飞情况下进行了模拟验证,计算值与实验值吻合。此外,求解器对桨尖涡的捕捉效果得到了明显的提高,表明本文方法具有良好的有效性与鲁棒性。     

实时嵌入式系统MIPS R3000和Intel 80960处理器的适用性评估

MIPSR30 0 0和Intel 80 96 0是实时嵌入式系统的两种候选处理器。本文描述了MIPSR30 0 0和Intel 80 96 0的结构特征。通过对流水线互锁、上下文转换、进程间通讯、同步及多进程支持、过程调用、容错和例外处理、中断处理、超越 /特殊功能、数据类型和调试支持等的分析 ,做出了两种结构的适用性评估     

VxWorks嵌入式实时操作系统在某导弹火控系统中的应用

为提高某导弹武器系统火控系统的实时性和可靠性,将VxWorks嵌入式实时操作系统用于火控系统的软件设计中。根据不同任务间的关系,给出了主作业流程,以及内外网数据的接收与发送、软件运行时序、校时处理、录取报文、数据库设计等主要处理部分。阐明了该VxWorks实时操作系统的设计特点。导弹武器系统试验结果表明,该火控系统软件运行稳定可靠,控制状态转换清晰可控。     

嵌金属丝端燃药柱固体发动机水下点火数值模拟研究

为探讨降低固体火箭发动机水下点火初期推力峰值的方法,通过对燃气采用常微分控制方程、对嵌金属丝采用一维传热方程、对端燃药柱采用二维轴对称传热方程、对燃气泡采用球形气泡模型,就嵌金属丝端燃药柱发动机水下点火的工作过程进行了数值模拟研究。算例结果显示,发动机水下点火初期的推力峰值小于稳定工作推力,初始燃面积对推力峰值影响较大,发动机达到稳定工作推力所需时间随药柱直径的减小而迅速减小,发射深度的变化对推力达到稳定状态所需时间影响很小。     

Rankine涡作用下激波变形和分叉的数值研究

数值模拟了激波和Rankine涡相互作用，重点研究了波涡相互作用引起的激波结构的变化过程。应用非结构化适应网格下的二阶精度Godunov型的PLM格式来求解Elder方程，对一平面激波与不同涡强Rankine涡相互作用下瞬态激波的运动、发展进行了研究。漩涡与激波间相对强度的大小对激波结构的影响明显，弱相互作用诱导激波变形，强相互作用诱导激波变形并产生分叉。计算结果表明，应用非结构化适应网格的PLM格式所得到的数值解较好地反映了瞬态激波结构的有关特征和信息。     

嵌入式GIS中电子地图数据模型和查询优化问题的研究

对基于掌上电脑的嵌入式电子地图系统中查询优化问题进行研究,构造基于掌上电脑平台环境下多尺度数字地图的数据模型,建立一种适用于嵌入式GIS系统的四叉树空间索引,以提高空间查询的效率;提出了一种优化嵌入式GIS系统中的数据访问方法.系统应用结果表明:改进的四叉树可提高空间查询的效率,数据优化方法可加快电子地图显示和查询的速度.     

嵌入式软件测试研究

简要介绍了软件测试的基本概念和理论;阐述了软件测试在产品研发过程中的地位与作用;结合嵌入式系统开发的经验和从事软件测试的体会,探讨了软件测试的策略以及如何进行软件测试的设计,并提出了针对我国企业软件测试现状的软件测试解决方案。     

结构/直角切割网格下时域有限体积法在计算电磁中的应用研究

 采用有限体积法直接求解时域麦克斯韦方程组，研究了二维圆柱、翼型和三维球体、立方体、双球体等典型完全导电目标的电磁散射问题。空间离散使用近似黎曼解构建网格通量，并针对二维结构网格、三维自适应直角切割网格分别给出重构方法，时间方向采用二步龙格库塔法。计算与理论、实验或文献结果符合良好。     

嵌入式网关技术在门禁控制系统中的应用

随着计算机网络技术的发展和普及，目前出现了以单片机技术和以太网技术为核心的嵌入式网关技术，采用嵌入网关技术，可在局域网环境下采用TCP/IP协议实现门禁控制控制器同后台服务器的数据交换。其优点是技术先进、数据传输速度高、工程成本低、可靠性和安全性高。在论述了嵌入式网关工作原理的基础上，重点讨论了嵌入式网关中的门禁控制器的应用问题。